Alphard[1]

Named for the brightest star in Hydra

Wulf, Shaw and London, Carnegie Mellon University 1974

A Pascal-like language. Data abstraction using the 'form', which combines a specification and an implementation.

"Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators", Mary Shaw, CACM 20(8):553-563 (Aug 1977).